CSREAS.UNF[MRS,LSP]3 - www.SailDart.org

perm filename CSREAS.UNF[MRS,LSP]3 blob sn#695988 filedate 1983-01-12 generic text, type T, neo UTF8
'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) CSREAS LSP)) 
'(ASSEMBLED BY FASLAP /392) 
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117) 

;COMPILED ON JANUARY 12, 1983, AT 11:22 PM

;Loading DEFSTRUCT 280
'REASONING-GRAPH 
'RG-DIRECTORY-ENTRY 
'BELIEF 
'QUERY 
	(COMMENT **FASL** 0. (LAP |BELIEF-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 29. (LAP |RP-NODE-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 57. (LAP |QUERY-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 86. (LAP |BELIEF-DESCRIPTS MACRO| SUBR)) 
	(COMMENT **FASL** 115. (LAP |QUERY-DESCRIPTS MACRO| SUBR)) 
	(COMMENT **FASL** 144. (LAP |BELIEF-BEL-LEVEL MACRO| SUBR)) 
	(COMMENT **FASL** 172. (LAP |QUERY-BEL-LEVEL MACRO| SUBR)) 
'EPISTATUS 
	(COMMENT **FASL** 200. (LAP |CSR:CREATE-LT-BLF∨QRY MACRO| SUBR)) 
'REASONING-TASK 
'REASONING-PROPOSITION-NODE 
'REASONING-CONSIDERATION-LINK 
'CONSIDERATION-FORCE 
	(COMMENT **FASL** 288. (LAP |CREATE-ADVICE-CONSID MACRO| SUBR)) 
	(COMMENT **FASL** 328. (LAP CSR:COPY-CONSID SUBR)) 
'QMP-CONSID 
'STAT-CONSID 
'NEG-CONSID 
'DN-CONSID 
'CINF-CONSID 
'CACT-CONSID 
'CAUS-CONSID 
'REASONING-EXPERT 
	(COMMENT **FASL** 372. (LAP LTI-CREATE-WFF-NEGATION SUBR)) 
	(COMMENT **FASL** 389. (LAP |A-Q-GET MACRO| SUBR)) 
	(COMMENT **FASL** 423. (LAP |A-GET MACRO| SUBR)) 
	(COMMENT **FASL** 457. (LAP |RA-Q-GET MACRO| SUBR)) 
	(COMMENT **FASL** 491. (LAP |CSR:NEGATE-BEL-LEVEL MACRO| SUBR)) 
	(COMMENT **FASL** 518. (LAP CSR:INITIALIZE-R-GRAPH SUBR)) 
	(COMMENT **FASL** 549. (LAP CSR:UPDATE-R-GRAPH SUBR)) 
	(COMMENT **FASL** 788. (LAP CSR:GET-RP-NODE SUBR)) 
	(COMMENT **FASL** 846. (LAP CSR:UPDATE-RG-DIRECTORY SUBR)) 
	(COMMENT **FASL** 885. (LAP CSR:INSTALL-CONSID-LINK SUBR)) 
	(COMMENT **FASL** 932. (LAP CSR:PROPAGATE-DETERMINACY SUBR)) 
	(COMMENT **FASL** 976. (LAP EQUAL-EPISTATI SUBR)) 
	(COMMENT **FASL** 999. (LAP CSR:CREATE-B∨Q-NEGATION SUBR)) 
	(COMMENT **FASL** 1063. (LAP CSR:CREATE-FUNDAMENTAL-CONTEXTS SUBR)) 
	(COMMENT **FASL** 1073. (LAP A-Q-PUTPROP SUBR)) 
	(COMMENT **FASL** 1105. (LAP A-PUTPROP SUBR)) 
	(COMMENT **FASL** 1137. (LAP CSR:INVESTIGATE-FROM-MEMORY LSUBR)) 
	(COMMENT **FASL** 1241. (LAP CSR:CREATE-NORMAL-QUERY SUBR)) 
	(COMMENT **FASL** 1277. (LAP CSR:NORMALIZE-EPISTATUS SUBR)) 
	(COMMENT **FASL** 1358. (LAP CSR:MEMORY-LOOKUP SUBR)) 
	(COMMENT **FASL** 1360. (LAP CSR:RECORD-BELIEF SUBR)) 
	(COMMENT **FASL** 1365. (LAP CSR:CONCLUSIVE-ENOUGH? SUBR)) 
	(COMMENT **FASL** 1395. (LAP CSR:NORMALIZE-BELIEF-TYPE SUBR)) 
	(COMMENT **FASL** 1436. (LAP CSR:ENTER-MEMORY-CONSID SUBR)) 
	(COMMENT **FASL** 1439. (LAP CSR:FIND-CONSIDERATIONS SUBR)) 
	(COMMENT **FASL** 1522. (LAP CSR:FIND-REASONING-TASKS SUBR)) 
	(COMMENT **FASL** 1542. (LAP AT:INSERT-IN-AGENDA SUBR)) 
	(COMMENT **FASL** 1610. (LAP CSR:FIND-HR-TASKS SUBR)) 
	(COMMENT **FASL** 1612. (LAP CSR:FIND-RR-TASKS SUBR)) 
	(COMMENT **FASL** 1664. (LAP CSR:GET-R-EXPERT SUBR)) 
	(COMMENT **FASL** 1687. (LAP CSR:FIND-R-EXPERTS SUBR)) 
	(COMMENT **FASL** 1740. (LAP CSR:BEST-R-TASK SUBR)) 
	(COMMENT **FASL** 1763. (LAP CSR:MORE-URGENT:1 SUBR)) 
	(COMMENT **FASL** 1771. (LAP CSR:ORDER-AGENDA SUBR)) 
	(COMMENT **FASL** 1773. (LAP CSR:DO-R-TASK1-AGENDA SUBR)) 
	(COMMENT **FASL** 1797. (LAP CSR:DO-BEST-R-TASK-AGENDA SUBR)) 
	(COMMENT **FASL** 1817. (LAP CSR:DO-ALL-R-TASKS-AGENDA SUBR)) 
	(COMMENT **FASL** 1850. (LAP CSR:KNOWLEDGE-LOOKUP-ALL SUBR)) 
	(COMMENT **FASL** 1911. (LAP CSR:KNOWLEDGE-LOOKUP SUBR)) 
	(COMMENT **FASL** 1961. (LAP >-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 1977. (LAP ≥-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 1996. (LAP <-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2011. (LAP ≤-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2031. (LAP CSR:COMPOSE-CONSIDERATIONS SUBR)) 
	(COMMENT **FASL** 2172. (LAP CSR:ONE-DOMINATING-DED-CONSID SUBR)) 
	(COMMENT **FASL** 2212. (LAP HAS-NON-ZERO-FORCE SUBR)) 
	(COMMENT **FASL** 2220. (LAP CSR:COMPUTE-CONSID-FORCES SUBR)) 
	(COMMENT **FASL** 2274. (LAP CSR:COMPUTE-CONSID-FORCE SUBR)) 
	(COMMENT **FASL** 2310. (LAP CSR:CERTAIN-AWPC SUBR)) 
	(COMMENT **FASL** 2322. (LAP CSR:DOUBTLESS-AWPC SUBR)) 
	(COMMENT **FASL** 2339. (LAP CSR:NEG-CERTAIN-AWPC SUBR)) 
	(COMMENT **FASL** 2349. (LAP CSR:CREATE-NEGATION-CONSIDS SUBR)) 
	(COMMENT **FASL** 2406. (LAP MIN-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2426. (LAP CSR:COMPUTE-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2451. (LAP HOW-DEFINITIVE? SUBR)) 
	(COMMENT **FASL** 2493. (LAP LT-LITERAL-MATCH SUBR)) 
	(COMMENT **FASL** 2524. (LAP LT-TRIVIAL-ATOMIC-MATCH SUBR)) 
	(COMMENT **FASL** 2606. (LAP QUANT-MP-BM-PREDICATE1 SUBR)) 
	(COMMENT **FASL** 2630. (LAP |[MRS,LSP]CSREAS.LSP←1.| SUBR)) 
	(COMMENT **FASL** 2656. (LAP |[MRS,LSP]CSREAS.LSP←2.| SUBR)) 
	(COMMENT **FASL** 2661. (LAP |[MRS,LSP]CSREAS.LSP←3.| SUBR)) 
	(COMMENT **FASL** 2664. (LAP |[MRS,LSP]CSREAS.LSP←4.| SUBR)) 
	(COMMENT **FASL** 2674. (LAP |[MRS,LSP]CSREAS.LSP←5.| SUBR)) 
	(COMMENT **FASL** 2678. (LAP |[MRS,LSP]CSREAS.LSP←6.| SUBR)) 
	(COMMENT **FASL** 2681. (LAP QUANT-MP-B-METHOD SUBR)) 
	(COMMENT **FASL** 2941. (LAP STATIST-BM-PREDICATE1 SUBR)) 
	(COMMENT **FASL** 2965. (LAP |[MRS,LSP]CSREAS.LSP←7.| SUBR)) 
	(COMMENT **FASL** 2991. (LAP |[MRS,LSP]CSREAS.LSP←8.| SUBR)) 
	(COMMENT **FASL** 2996. (LAP |[MRS,LSP]CSREAS.LSP←9.| SUBR)) 
	(COMMENT **FASL** 2999. (LAP |[MRS,LSP]CSREAS.LSP←10.| SUBR)) 
	(COMMENT **FASL** 3009. (LAP |[MRS,LSP]CSREAS.LSP←11.| SUBR)) 
	(COMMENT **FASL** 3013. (LAP |[MRS,LSP]CSREAS.LSP←12.| SUBR)) 
	(COMMENT **FASL** 3016. (LAP STATIST-B-METHOD SUBR)) 
	(COMMENT **FASL** 3276. (LAP GET-YES-OR-NO SUBR)) 
	(COMMENT **FASL** 3303. (LAP XPRG LSUBR)) 
	(COMMENT **FASL** 3331. (LAP EXPLORE-R-GRAPH LSUBR)) 
	(COMMENT **FASL** 3969. (LAP GET-REASONING-GRAPH LSUBR)) 
	(COMMENT **FASL** 4095. (LAP COUNT-ITEMS SUBR)) 
	(COMMENT **FASL** 4251. (LAP COUNT-NEGATION-CONSIDS SUBR)) 
	(COMMENT **FASL** 4357. (LAP DISPLAY-CURRENT-ITEM SUBR)) 
	(COMMENT **FASL** 4372. (LAP MOVE-TO-NEW-ITEM SUBR)) 
	(COMMENT **FASL** 4503. (LAP DISPLAY-B∨Q-F-DESCRIPTS SUBR)) 
	(COMMENT **FASL** 4549. (LAP IDENTIFY-ITEM SUBR)) 
	(COMMENT **FASL** 4865. (LAP DISPLAY-RP-NODE SUBR)) 
	(COMMENT **FASL** 5400. (LAP CSR:CLASSIFY-CONSIDS SUBR)) 
	(COMMENT **FASL** 5435. (LAP DISPLAY-RPN-BLF-GROUNDS SUBR)) 
	(COMMENT **FASL** 5612. (LAP DNW SUBR)) 
	(COMMENT **FASL** 5613. (LAP DISPLAY-RP-NODE-WFFS SUBR)) 
	(COMMENT **FASL** 5634. (LAP DBQ SUBR)) 
	(COMMENT **FASL** 5642. (LAP DISPLAY-BLF∨QRY LSUBR)) 
	(COMMENT **FASL** 5818. (LAP B∨Q∧EPIST-FIELD-CONTENTS SUBR)) 
	(COMMENT **FASL** 5893. (LAP RPN-FIELD-CONTENTS SUBR)) 
	(COMMENT **FASL** 5928. (LAP DISPLAY-CONSID SUBR)) 
	(COMMENT **FASL** 6277. (LAP C-FIELD-CONTENTS SUBR)) 
'R-GRAPH-DISPLAY-DIRECTORY-ENTRY 
'R-GRAPH-DISPLAY-LINE 
'D-LINE-POINTER-PAIR 
	(COMMENT **FASL** 6331. (LAP ANY-CONCL-DESCENDANTS? SUBR)) 
	(COMMENT **FASL** 6364. (LAP CSR:SUMMARIZE-R-GRAPH SUBR)) 
	(COMMENT **FASL** 6633. (LAP |[MRS,LSP]CSREAS.LSP←13.| SUBR)) 
	(COMMENT **FASL** 6640. (LAP CSR:NORMALIZE-DISPLAY-LIST SUBR)) 
	(COMMENT **FASL** 6785. (LAP CSR:PUSH-D-LINES SUBR)) 
	(COMMENT **FASL** 6819. (LAP CSR:PUSH-BEFORE? SUBR)) 
	(COMMENT **FASL** 7149. (LAP PROPAGATE-MAX-LEVEL SUBR)) 
	(COMMENT **FASL** 7169. (LAP CSR:CONSTRUCT-RG-DISPLAY-LINES:RP-NODE SUBR)) 
	(COMMENT **FASL** 7280. (LAP CSR:CONSTRUCT-RG-FULL-DISPLAY-LINES:RP-NODE SUBR)) 
	(COMMENT **FASL** 7378. (LAP CSR:CONSTRUCT-RG-DISPLAY-LINE SUBR)) 
	(COMMENT **FASL** 7446. (LAP CSR:GET-OR-MAKE-RG-ITEM-NAME SUBR)) 
	(COMMENT **FASL** 7599. (LAP CSR:DISPLAY-RG-SUMMARY SUBR)) 
	(COMMENT **FASL** 7688. (LAP CSR:DISPLAY-RG-D-LIST SUBR)) 
	(COMMENT **FASL** 7815. (LAP IPC LSUBR)) 
	(COMMENT **FASL** 7834. (LAP INTERACTIVE-PROGRAM-CONTROL LSUBR)) 
	(COMMENT **FASL** 8270. (LAP IPC:SET-HELP-VERBOSITY SUBR)) 
	(COMMENT **FASL** 8293. (LAP IPC-SHORT-HELP SUBR)) 
	(COMMENT **FASL** 8302. (LAP DISPLAY-IPC-COMMANDS SUBR)) 
	(COMMENT **FASL** 8318. (LAP IPC-HELP SUBR)) 
	(COMMENT **FASL** 8551. (LAP XPTR LSUBR)) 
	(COMMENT **FASL** 8570. (LAP EXPLORE-TASK-RECORD LSUBR)) 
	(COMMENT **FASL** 9214. (LAP GET-TASK-RECORD LSUBR)) 
	(COMMENT **FASL** 9282. (LAP SHORTEN-TASK-PATH SUBR)) 
	(COMMENT **FASL** 9319. (LAP MOVE-TO-TASK SUBR)) 
	(COMMENT **FASL** 9496. (LAP COUNT-TASKS SUBR)) 
	(COMMENT **FASL** 9559. (LAP CLASSIFY-TASKS SUBR)) 
	(COMMENT **FASL** 9649. (LAP FIND-TASKS-BY-FORMULA SUBR)) 
	(COMMENT **FASL** 9728. (LAP DISPLAY-TASK SUBR)) 
	(COMMENT **FASL** 9809. (LAP DISPLAY-TASK-ARGS SUBR)) 
	(COMMENT **FASL** 9812. (LAP TASK-FIELD-CONTENTS SUBR)) 
	(COMMENT **FASL** 9864. (LAP XPTR-SHORT-HELP SUBR)) 
	(COMMENT **FASL** 9891. (LAP DISPLAY-XPTR-COMMANDS SUBR)) 
	(COMMENT **FASL** 9923. (LAP XPTR-HELP SUBR)) 
	(COMMENT **FASL** 10104. (LAP XPRG-SHORT-HELP SUBR)) 
	(COMMENT **FASL** 10131. (LAP DISPLAY-XPRG-COMMANDS SUBR)) 
	(COMMENT **FASL** 10167. (LAP XPRG-HELP SUBR)) 
(COMMENT ****  (DATA-STRUCT) Unused LAMBDA variables in function EXERCISE-COMMONSENSE-REASONING)
	(COMMENT **FASL** 10359. (LAP EXERCISE-COMMONSENSE-REASONING LSUBR)) 
	(COMMENT **FASL** 10856. (LAP DISPLAY-CONTEXT SUBR)) 
	(COMMENT **FASL** 10935. (LAP DISPLAY-KNOWLEDGE SUBR)) 
	(COMMENT **FASL** 10941. (LAP DISPLAY-B∨Q-FORMULAS SUBR)) 
	(COMMENT **FASL** 11049. (LAP DISPLAY-SPECIF-B∨QS SUBR)) 
	(COMMENT **FASL** 11096. (LAP INVESTIGATE-QUERY SUBR)) 
	(COMMENT **FASL** 11184. (LAP REPORT-RESULTS SUBR)) 
	(COMMENT **FASL** 11396. (LAP STORE∨DELETE-BLFS SUBR)) 
	(COMMENT **FASL** 11447. (LAP RESET-KNOWLEDGE-BASE SUBR)) 
	(COMMENT **FASL** 11458. (LAP XCSR-SHORT-HELP SUBR)) 
	(COMMENT **FASL** 11485. (LAP DISPLAY-XCSR-COMMANDS SUBR)) 
	(COMMENT **FASL** 11515. (LAP XCSR-HELP SUBR)) 
	(COMMENT **FASL** 11684. (LAP LOWER-CASE SUBR)) 
(COMMENT **** (DISPLAY-TRANSFER-COMMANDS SPACES ENCODE-LINFORMULA LINTYPE* TAB
INADVERTENT-TRANSFER-CHECK Q-KERNEL SUPERSORT* ISA-PATT-VARIABLE?
CONTEXT:PRED-LOOKUP CONTEXT:PRED-LOOKUP-ALL TCONC CONTEXT:ADD CONTEXT:LOOKUP
π-GET π-YH-UNITP CONTEXT:SPROUT-CONTEXT ANALYZE-CMPD-CONCEPT
NORMALIZE-CMPD-CONCEPT CREATE-LT-WFF-NEGATION LT-TYPE)
		have been used but remain undefined in this file)
	(COMMENT **FASL** TOTAL =  11717. WORDS)